<html>
<head><meta charset="utf-8"><title>meeting 2021-06-01 · project-const-generics · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/index.html">project-const-generics</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html">meeting 2021-06-01</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="240954031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954031">(Jun 01 2021 at 14:54)</a>:</h4>
<p>We have a meeting now but I'm running very slow</p>



<a name="240954063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954063">(Jun 01 2021 at 14:55)</a>:</h4>
<p>I'm somewhat inclined to skip today so that I can work on Rust 2021 stuff</p>



<a name="240954093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954093">(Jun 01 2021 at 14:55)</a>:</h4>
<p>I do want to go over the stories taht <span class="user-mention" data-user-id="326176">@Boxy [she/her]</span> opened</p>



<a name="240954121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954121">(Jun 01 2021 at 14:55)</a>:</h4>
<p>One thing though:</p>



<a name="240954140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954140">(Jun 01 2021 at 14:55)</a>:</h4>
<p>Tomorrow is the lang team planning meeting to schedule meetings this month</p>



<a name="240954173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Boxy [she/her] <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954173">(Jun 01 2021 at 14:55)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="240954177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954177">(Jun 01 2021 at 14:55)</a>:</h4>
<p>I think we should have a discussion about const generics, probably summarizing <a class="stream-topic" data-stream-id="260443" href="/#narrow/stream/260443-project-const-generics/topic/structural.20equality">#project-const-generics &gt; structural equality</a></p>



<a name="240954232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954232">(Jun 01 2021 at 14:56)</a>:</h4>
<p>Did any kind of write-up come out from that conversation?</p>



<a name="240954287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Boxy [she/her] <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954287">(Jun 01 2021 at 14:56)</a>:</h4>
<p>im not aware of one</p>



<a name="240954341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954341">(Jun 01 2021 at 14:56)</a>:</h4>
<p>I'm going to open a lang team design meeting issue</p>



<a name="240954372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954372">(Jun 01 2021 at 14:57)</a>:</h4>
<p>The other thing would be to cover the vision doc but I thnk we're not quite there yet</p>



<a name="240954451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Boxy [she/her] <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954451">(Jun 01 2021 at 14:57)</a>:</h4>
<p>lcnr made a hackmd with their thoughts on how it should work <a href="https://hackmd.io/-IB2BH1hSWWMQVSfbvVViA">https://hackmd.io/-IB2BH1hSWWMQVSfbvVViA</a></p>



<a name="240954474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240954474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Boxy [she/her] <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240954474">(Jun 01 2021 at 14:57)</a>:</h4>
<p>not exactly a summary of the thread though-</p>



<a name="240955257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/260443-project-const-generics/topic/meeting%202021-06-01/near/240955257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/260443-project-const-generics/topic/meeting.202021-06-01.html#240955257">(Jun 01 2021 at 15:02)</a>:</h4>
<p>+1</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>